本稿は、Dustin ClausenとPeter Scholzeによって提唱された「凝縮数学 (condensed mathematics)」およびその扱いやすい変種である「軽凝縮数学 (light condensed mathematics)」について、これまでの議論をすべて統合した完全版の解説です。圏論の基礎である随伴関手の性質、Freydの一般随伴関手定理の「必要性」「十分性」両方の完全な証明から始まり、軽プロ有限集合の特徴付け、位相空間の圏との関係、内部Homの構成、そして関数解析におけるLF空間や超関数空間の代数的な定式化に至るまで、一切の省略や要約を行わず、数学的詳細と豊富な具体例の解説を記述します。
凝縮数学の層の構成や内部Homの性質を理解する上で、すべての基盤となるのが随伴関手 (adjoint functors) と極限の保存の関係です。「左随伴は余極限を保ち、右随伴は極限を保つ」という圏論の基本定理を厳密に証明します。
圏 $\mathcal{C}$ および $\mathcal{D}$ の間に随伴関手の組 $L: \mathcal{C} \rightleftarrows \mathcal{D} :R$ （すなわち $L$ が $R$ の左随伴、$L \dashv R$）が存在するとする。このとき、$L$ は $\mathcal{C}$ に存在する任意の小余極限を保ち、$R$ は $\mathcal{D}$ に存在する任意の小極限を保つ。
圏論的な双対性（$\mathcal{C}^{\mathrm{op}}$ と $\mathcal{D}^{\mathrm{op}}$ を考えること）により、$L$ が余極限を保つことを示せば十分である。
小圏 $J$ から $\mathcal{C}$ への関手（図式） $F: J \to \mathcal{C}$ をとり、$\mathcal{C}$ において余極限 $C = \varinjlim_{j \in J} F(j)$ が存在すると仮定する。我々が示すべきことは、$\mathcal{D}$ において図式 $L \circ F$ の余極限が存在し、それが自然な同型 $L(C) \cong \varinjlim_{j \in J} L(F(j))$ を満たすことである。
これを証明するために、対象 $L(C)$ が $\mathcal{D}$ における余極限の普遍性を満たすことを確認する。任意の $\mathcal{D}$ の対象 $Y$ をとる。随伴 $L \dashv R$ の定義により、対象の組 $(C, Y)$ に関して自然な全単射が存在する：
$$\mathrm{Hom}_{\mathcal{D}}(L(C), Y) \cong \mathrm{Hom}_{\mathcal{C}}(C, R(Y))$$
ここで、$C = \varinjlim_{j \in J} F(j)$ であり、共変Hom関手 $\mathrm{Hom}_{\mathcal{C}}(-, X)$ は反変関手としては余極限を極限に変換する普遍性（余極限の定義そのもの）を持つため、次が成り立つ：
$$\mathrm{Hom}_{\mathcal{C}}(\varinjlim_{j \in J} F(j), R(Y)) \cong \varprojlim_{j \in J} \mathrm{Hom}_{\mathcal{C}}(F(j), R(Y))$$
この右辺の極限は、集合の圏 $\mathrm{Set}$ における極限である。再び随伴 $L \dashv R$ の全単射を、各 $j \in J$ について適用する：
$$\varprojlim_{j \in J} \mathrm{Hom}_{\mathcal{C}}(F(j), R(Y)) \cong \varprojlim_{j \in J} \mathrm{Hom}_{\mathcal{D}}(L(F(j)), Y)$$
以上の自然な同型をすべて結合すると、任意の $\mathcal{D}$ の対象 $Y$ について、次の全単射を得る：
$$\mathrm{Hom}_{\mathcal{D}}(L(C), Y) \cong \varprojlim_{j \in J} \mathrm{Hom}_{\mathcal{D}}(L(F(j)), Y)$$
右辺は「各 $j \in J$ に対して射 $L(F(j)) \to Y$ が与えられ、それらが図式 $L \circ F$ の射と両立するような余錐 (cocone) の集合」に他ならない。これが左辺の $\mathrm{Hom}_{\mathcal{D}}(L(C), Y)$ と自然に全単射であるということは、$L(C)$ から $Y$ への射が、図式 $L \circ F$ から $Y$ への余錐と一対一に対応することを意味する。これはまさに $L(C)$ が図式 $L \circ F$ の余極限であることの定義である。
したがって、$L(\varinjlim_{j \in J} F(j)) \cong \varinjlim_{j \in J} L(F(j))$ が成立し、$L$ は小余極限を保つ。（証明終）
随伴関手の性質（RAPL/LAPC）が数学の各分野でどのように具現化されているか、具体的に解説します。
関手が随伴を持つための必要十分条件を与えるのがFreydの一般随伴関手定理 (General Adjoint Functor Theorem) です。前節の「随伴ならば極限を保つ」という性質の逆にあたる強力な定理であり、層の構成や局所化など、圏論的構成の存在を保証する上で極めて重要です。ここでは必要性、十分性ともにいかなる省略も行わず完全に証明します。
関手 $R: \mathcal{D} \to \mathcal{C}$ が解集合条件 (SSC) を満たすとは、$\mathcal{C}$ の任意の対象 $X$ に対して、ある「小さな集合 (small set)」で添字付けられた $\mathcal{D}$ の対象と射の組の族 $S = \{ (D_i, f_i: X \to R(D_i)) \}_{i \in I}$ が存在し、任意の $D \in \mathcal{D}$ および任意の射 $h: X \to R(D)$ に対して、ある $i \in I$ と射 $g: D_i \to D$ が存在して、
$$R(g) \circ f_i = h$$
を満たすことをいう。
$\mathcal{D}$ を局所小 (locally small) かつ小極限を持つ完全 (complete) な圏とする。このとき、関手 $R: \mathcal{D} \to \mathcal{C}$ が左随伴 $L: \mathcal{C} \to \mathcal{D}$ を持つための必要十分条件は以下の2つを同時に満たすことである：
【必要性】の完全な証明：
$R$ が左随伴 $L: \mathcal{C} \to \mathcal{D}$ を持つと仮定する。このとき、条件(1)と(2)が成り立つことを示す。
まず条件(1)について。定理1 (LAPC) の通り、随伴関手の組において右随伴はつねにすべての極限を保つため、$R$ は小極限を保ち、条件(1)は自動的に満たされる。
次に、条件(2)の解集合条件 (SSC) について確認する。任意の対象 $X \in \mathcal{C}$ を固定する。随伴 $L \dashv R$ に付随する単位元 (unit) の自然変換を $\eta: \mathrm{id}_{\mathcal{C}} \to R \circ L$ とし、その対象 $X$ におけるコンポーネントを $\eta_X: X \to R(L(X))$ とおく。ここで、$\mathcal{D}$ の単一の対象 $L(X)$ と一本の射 $\eta_X$ からなる単元集合 $S = \{ (L(X), \eta_X) \}$ を考える。この小さな集合（要素数1）が解集合の条件を満たすことを示す。
任意の $D \in \mathcal{D}$ と、任意の射 $h: X \to R(D)$ が与えられたとする。随伴関手の定義により、対象の組 $(X, D)$ に関して自然な全単射 $\Phi: \mathrm{Hom}_{\mathcal{D}}(L(X), D) \xrightarrow{\sim} \mathrm{Hom}_{\mathcal{C}}(X, R(D))$ が存在する。全単射であるため、$\mathcal{C}$ の射 $h$ に対応する $\mathcal{D}$ の射がただ1つ存在する。これを $g \in \mathrm{Hom}_{\mathcal{D}}(L(X), D)$ とおく（すなわち $\Phi(g) = h$）。
随伴の単位元 $\eta_X$ の性質（あるいは $\Phi$ の具体的な構成法）から、$\Phi(g)$ はつねに合成射 $R(g) \circ \eta_X$ として書けることが知られている。したがって、
$$R(g) \circ \eta_X = h$$
を満たす $\mathcal{D}$ の射 $g: L(X) \to D$ が確かに存在することが証明された。これは解集合の定義そのものであり、単一の要素からなる小さな集合 $S$ がその条件を完全に満たすため、$R$ は解集合条件 (SSC) を満たす。
【十分性】の完全な証明：
$R$ が極限を保ち、かつSSCを満たすと仮定する。任意の $X \in \mathcal{C}$ に対して、コンマ圏 $(X \downarrow R)$ を考える。この圏の対象は組 $(D, h: X \to R(D))$ であり、射 $g: (D, h) \to (D', h')$ は $\mathcal{D}$ の射 $g: D \to D'$ であって $R(g) \circ h = h'$ を満たすものである。我々の目的は、このコンマ圏 $(X \downarrow R)$ に始対象 (initial object) が存在することを示すことである（その始対象の $\mathcal{D}$ 成分を $L(X)$ と定義すれば普遍性により左随伴が構成される）。
ステップ1（弱始対象の構成）： SSCにより、$(X \downarrow R)$ には小さな解集合 $S = \{ (D_i, f_i) \}_{i \in I}$ が存在する。$\mathcal{D}$ は完全であるため、小さな積 $P = \prod_{i \in I} D_i$ が存在する。各成分への射影を $\pi_i: P \to D_i$ とする。関手 $R$ は極限を保つため、$R(P) \cong \prod_{i \in I} R(D_i)$ であり、$R(P)$ は射影 $R(\pi_i)$ による積である。各 $f_i: X \to R(D_i)$ から積の普遍性により、一意な射 $u: X \to R(P)$ が存在し、すべての $i$ について $R(\pi_i) \circ u = f_i$ を満たす。このとき、対象 $(P, u)$ は $(X \downarrow R)$ における弱始対象 (weakly initial object) である。なぜなら、任意の対象 $(D, h)$ に対して、SSCによりある $f_i$ を経由する $g: D_i \to D$ が存在し、合成 $g \circ \pi_i: P \to D$ は $(P, u)$ から $(D, h)$ へのコンマ圏の射を正しく与えるからである。
ステップ2（始対象の候補の構成）： 弱始対象は射の存在を保証するが、一意性を保証しない。厳密な始対象を得るために、$(P, u)$ の自己準同型 (endomorphisms) の集合を考える。$\mathcal{D}$ が局所小であるため、コンマ圏 $(X \downarrow R)$ も局所小であり、自己準同型の集合 $M = \mathrm{End}_{(X \downarrow R)}(P, u)$ は小さな集合である。$\mathcal{D}$ は完全であるから、集合 $M$ に属するすべての射の多重イコライザ (multiple equalizer) $e: E \to P$ が存在する。$R$ は極限を保つため、$R(e): R(E) \to R(P)$ は $\mathcal{C}$ におけるすべての $R(m)$ ($m \in M$) の多重イコライザとなる。
ここで、すべての $m \in M$ について、$m$ は $(X \downarrow R)$ の射であるためコンマ圏の定義から $R(m) \circ u = u$ が成り立つ。これは $u: X \to R(P)$ がすべての $R(m)$ を等化すること（すなわち $R(m) \circ u = \mathrm{id}_{R(P)} \circ u$）を意味する。イコライザの普遍性により、一意な射 $v: X \to R(E)$ が存在して、$R(e) \circ v = u$ となる。これにより、射 $e: (E, v) \to (P, u)$ がコンマ圏の射として定まる。この $(E, v)$ が求める始対象の候補である。
ステップ3（一意性の完全な証明）： $(E, v)$ が厳密な始対象であることを示す。任意の対象 $(Y, y)$ への射が存在することは、$(P, u)$ が弱始対象であり、さらに $(E, v)$ から $(P, u)$ への射 $e$ が存在することから、合成によってただちに従う。残る問題は射の一意性である。2つの射 $a, b: (E, v) \to (Y, y)$ が存在したとする。$\mathcal{D}$ における $a$ と $b$ のイコライザを $eq: K \to E$ とする。前段と同様の論理（$R$ がイコライザを保つこと）により、$(K, w)$ もまたコンマ圏の対象となり、$eq: (K, w) \to (E, v)$ はコンマ圏の射となる。
$(P, u)$ は弱始対象であるため、ある射 $k: (P, u) \to (K, w)$ が存在する。ここで合成射 $e \circ eq \circ k: P \to P$ を考える。これは $(P, u)$ から $(P, u)$ への自己射であるため、集合 $M$ の要素である。イコライザ $e$ の定義より、$e$ は $M$ のすべての要素を等化し、かつ恒等射 $\mathrm{id}_P$ とも等化するため、
$$e \circ (e \circ eq \circ k) = e \circ \mathrm{id}_P = e$$
が成り立つ。イコライザ $e$ は単射 (monomorphism) であるため、左から $e$ をキャンセル（簡約）することができる。したがって、
$$e \circ eq \circ k = \mathrm{id}_E$$
となる。これを用いて射 $a$ と $b$ が等しいことを計算する。まず $a$ を展開する：
$$a = a \circ \mathrm{id}_E = a \circ (e \circ eq \circ k) = (a \circ e \circ eq) \circ k$$
ここで $eq$ は元々 $a$ と $b$ のイコライザとして定義されたため、$a \circ eq = b \circ eq$ である（コンマ圏の射としても同じ）。したがって、式の中の $a \circ eq$ を $b \circ eq$ に置き換えると、
$$= (b \circ e \circ eq) \circ k = b \circ (e \circ eq \circ k) = b \circ \mathrm{id}_E = b$$
よって $a = b$ となり、$(E, v)$ から任意の対象への射は完全に一意であることが示された。すなわち $(E, v)$ は $(X \downarrow R)$ の始対象であり、$X \mapsto E$ という対応が求める左随伴関手 $L$ を与える。（証明終）
「凝縮数学」は位相空間を層として扱う強力な理論ですが、古典的なプロ有限集合をテスト空間にすると、巨大な基数に関する集合論的困難（基数問題）を伴いました。これを「可算生成（第二可算）」な対象に制限することで完全に回避し、かつ解析学の展開に十分な広さを持たせたのが「軽凝縮数学」です。そのベースとなるテスト空間が軽プロ有限集合です。
位相空間 $S$ に対して、以下の条件はすべて互いに同値である。これらの条件のいずれかを満たすとき、$S$ を軽プロ有限集合 (light profinite set) と呼ぶ。
軽プロ有限集合を対象とし、連続写像を射とする圏を $\mathrm{Prof}_{\mathrm{light}}$ と表す。
(B) $\implies$ (A) の証明： 有限離散空間 $S_n$ はコンパクト、Hausdorff、完全不連結かつ距離化可能である。可算個の積 $\prod_{n \in \mathbb{N}} S_n$ は、Tychonoffの定理よりコンパクトであり、Hausdorff性と完全不連結性も引き継ぐ。また、可算個の距離空間の積は（例えば $d(x, y) = \sum 2^{-n} d_n(x_n, y_n)/(1+d_n)$ によって）距離化可能である。逆極限 $\varprojlim S_n$ はこの可算積の閉部分空間であるため、コンパクト距離空間の閉部分空間として、(A) の性質をすべて満たす。
(C) $\implies$ (B) の証明： Cantor集合 $2^{\mathbb{N}}$ は、$S_n = 2^n$ としたときの逆極限 $\varprojlim S_n$ に同相である（射影は最初の $n$ 座標をとる写像）。Cantor集合の閉部分空間 $S$ をとると、各射影による $S$ の像 $X_n \subset S_n$ も有限離散空間となる。コンパクト空間の逆極限の性質により、$S \cong \varprojlim X_n$ が成り立ち、可算個の有限離散空間の逆極限として表せる。
(A) $\implies$ (C) の証明： $S$ がコンパクト、Hausdorff、完全不連結な距離空間であるとする。距離化可能コンパクト空間は第二可算公理を満たす（基底として可算個の開集合をとれる）。完全不連結性より、開かつ閉（clopen）な集合の族が基底をなす。第二可算公理より、その中から可算個の clopen 集合の族 $\{U_n\}_{n \in \mathbb{N}}$ であって、点を分離するものを抽出できる。写像 $f: S \to 2^{\mathbb{N}}$ を $f(x) = (c_n(x))_{n \in \mathbb{N}}$ （ただし $x \in U_n$ なら $c_n(x)=1$、そうでないなら $0$）と定義する。各成分が連続なので $f$ は連続であり、点を分離するので単射である。コンパクト空間からHausdorff空間への連続な単射は中への同相写像（位相的埋め込み）となる。したがって $S$ は Cantor 集合の閉部分空間と同相になる。（証明終）
距離化可能コンパクトHausdorff空間の圏を仮に $\mathrm{LCH}$ と書いたとします。$\mathrm{LCH}$ は $\mathrm{Prof}_{\mathrm{light}}$ を含み、解析学で扱う多くの空間の構成要素となります。しかし、$\mathrm{LCH}$ をそのまま用いてホモロジー代数を展開することはできません。その決定的な理由が「十分な射影的対象が存在しない」ことです。
圏 $\mathrm{LCH}$ は「十分に射影的対象を持つ (has enough projectives)」という性質を満たさない。
背理法で示す。圏 $\mathrm{LCH}$ が十分に射影的対象を持つと仮定する。このとき、任意の対象 $X \in \mathrm{LCH}$ に対して、射影的対象 $P \in \mathrm{LCH}$ と全射な連続写像 $p: P \to X$ が存在する。
コンパクトHausdorff空間の圏 $\mathrm{CH}$ におけるGleasonの定理 (Gleason's theorem) を用いる。Gleasonの定理は「コンパクトHausdorff空間が $\mathrm{CH}$ において射影的であるための必要十分条件は、その空間が超不連結 (extremally disconnected) であることである」と述べている。空間が超不連結であるとは、任意の開集合の閉包が再び開集合となる（すなわち clopen になる）ことをいう。$P$ は $\mathrm{LCH}$ において射影的であるが、圏の包含関係から、これは $\mathrm{CH}$ においても射影的であることを意味するため、$P$ は超不連結でなければならない。
一方で、$P \in \mathrm{LCH}$ であるため、$P$ は距離化可能空間でもある。ここで、「超不連結な距離化可能空間は離散空間である」という位相空間論の事実を証明する。
補題の証明： 距離化可能な空間 $P$ に孤立点でない点 $x$ が存在したと仮定する。距離化可能であるため第一可算公理を満たし、$x$ に収束する点列 $\{x_n\}_{n=1}^\infty$ （ただしすべての $n$ で $x_n \neq x$）が存在する。この点列から、互いに交わらない近傍を持つような部分列を選ぶことができる（Hausdorff性による）。添字の偶奇で分けて、開集合 $U = \bigcup_{k=1}^\infty B(x_{2k}, r_{2k})$ を構成する（各球は他の点列の点を含まないように半径を十分小さくとる）。この開集合 $U$ の閉包 $\overline{U}$ を考える。点列 $\{x_{2k}\}$ は $x$ に収束するため、$x \in \overline{U}$ である。しかし、$x$ の任意の近傍は奇数番目の点 $x_{2k+1}$ を無数に含んでしまうため、$x$ は $\overline{U}$ の内点にはなり得ない。すなわち $\overline{U}$ は開集合ではなくなり、超不連結性に矛盾する。よって、$P$ は孤立点のみからなる離散空間である。
補題より、$P$ は離散空間である。さらに $P \in \mathrm{LCH}$ はコンパクトであるため、コンパクトな離散空間は有限空間でなければならない。すなわち、$P$ は有限離散空間である。
最初の仮定により、任意の $X \in \mathrm{LCH}$ に対して有限離散空間 $P$ からの連続な全射 $p: P \to X$ が存在することになる。写像が全射であるため、$X$ の要素の数は $P$ の要素の数以下であり、$X$ も有限集合でなければならない。これは「$\mathrm{LCH}$ に属するすべての空間 $X$ が有限集合である」という結論を導く。
しかし、$\mathrm{LCH}$ には区間 $[0, 1]$ や Cantor集合など、明らかに無限の濃度を持つ空間が含まれており、明確な矛盾が生じる。
よって、仮定は誤りであり、圏 $\mathrm{LCH}$ は十分に射影的対象を持たない。（証明終）
軽凝縮集合 (light condensed set) とは、小圏 $\mathrm{Prof}_{\mathrm{light}}$ 上の集合値の層 (sheaf) のことである。すなわち、反変関手 $X: \mathrm{Prof}_{\mathrm{light}}^{\mathrm{op}} \to \mathrm{Set}$ であって、$\mathrm{Prof}_{\mathrm{light}}$ における任意の有限被覆族（すなわち全射な連続写像の有限族）に対して層の降下条件 (descent condition) を満たすものをいう。軽凝縮集合を対象とし、層の射（自然変換）を射とする圏 (Grothendieckトポス) を $\mathrm{LCond}$ と表す。
軽凝縮集合は単なる抽象的な層ではなく、解析学や幾何学に現れるあらゆる空間を統一的に表現できます。
任意の位相空間 $T \in \mathrm{Top}$ に対し、前層 $\underline{T}: \mathrm{Prof}_{\mathrm{light}}^{\mathrm{op}} \to \mathrm{Set}$ を $\underline{T}(S) := \mathrm{Hom}_{\mathrm{Top}}(S, T)$ （すなわち連続写像の集合）と定義します。すると、連続写像の局所的な貼り合わせが可能であることから、$\underline{T}$ は自動的に層（軽凝縮集合）になります。これにより、自然な関手 $i: \mathrm{Top} \to \mathrm{LCond}$ が定まります。
この関手 $i$ はすべての位相空間に対して忠実ですが、一部の「病的な位相空間」では充満になりません。$i$ が充満忠実 (fully faithful) になるような、$\mathrm{Top}$ に埋め込めるできるだけ大きな位相空間の部分圏は、軽コンパクト生成空間 (lightly compactly generated spaces) と呼ばれる空間の圏です。これは、「空間 $T$ の任意の部分集合 $A$ が閉集合であるための必要十分条件が、任意の軽プロ有限空間 $S$ と連続写像 $f: S \to T$ に対して、引き戻し $f^{-1}(A)$ が $S$ において閉集合になること」を満たすような、扱いやすい弱Hausdorff空間たちのなす圏と一致します。私たちが日常的に扱う空間はすべてこの範疇に入ります。
任意の層（軽凝縮集合） $A$ は、代表可能層（テスト空間である軽プロ有限集合）の余極限（直和や貼り合わせなどの極限操作）として完全に表現できます。この事実は「要素の圏 (Category of Elements)」を用いることで、直観的な説明に逃げることなく一般論として厳密に証明できます。
注（内部射影的生成元）：$\mathrm{LCond}$ はGrothendieckトポスであり、代表可能層の族 $\{y(S) \mid S \in \mathrm{Prof}_{\mathrm{light}}\}$ が生成集合となります。各 $y(S)$ は自由対象であり、関数解析のホモロジー代数を支える優れた内部射影的生成元 (internal projective generator) として機能します。
小圏 $\mathcal{C}$ 上の前層の圏 $\widehat{\mathcal{C}} = \mathrm{Fun}(\mathcal{C}^{\mathrm{op}}, \mathrm{Set})$ と米田埋め込み $y: \mathcal{C} \to \widehat{\mathcal{C}}$ を考える。任意の $F \in \widehat{\mathcal{C}}$ に対して、要素の圏 $\int F$ を添字圏としたとき、$F \cong \varinjlim_{(C, x) \in \int F} y(C)$ が成り立つ。
（※層化関手は左随伴であり余極限を保つため、この事実は層の圏 $\mathrm{LCond}$ でもそのまま成立する。）
ステップ1：要素の圏と余錐 (Cocone) の構成
要素の圏 $\int F$ とは、対象をペア $(C, x)$ （ただし $C \in \mathrm{Ob}(\mathcal{C}), x \in F(C)$）とし、射 $f: (C', x') \to (C, x)$ を $\mathcal{C}$ の射 $f: C' \to C$ であって $F(f)(x) = x'$ を満たすものとする圏である。
忘却関手 $P: \int F \to \mathcal{C}$ を $P(C, x) = C$ とする。図式 $y \circ P: \int F \to \widehat{\mathcal{C}}$ に対する余極限が $F$ であることを示す。そのためには、まず $F$ を頂点とする余錐を構成する。各対象 $(C, x) \in \int F$ に対し、自然変換 $\tau_{(C, x)}: y(C) \to F$ を定義する。米田の補題より $\mathrm{Hom}_{\widehat{\mathcal{C}}}(y(C), F) \cong F(C)$ であるため、元 $x \in F(C)$ に対応する自然変換を一意に選べる。具体的には、任意の対象 $D \in \mathcal{C}$ におけるコンポーネント $\tau_{(C, x), D}: \mathrm{Hom}(D, C) \to F(D)$ を、射 $g: D \to C$ に対して $\tau_{(C, x), D}(g) := F(g)(x)$ と定義する。
これが $\int F$ の射に対して可換になることを確認する。射 $f: (C', x') \to (C, x)$ （すなわち $f: C' \to C$ かつ $F(f)(x) = x'$）が与えられたとき、$\tau_{(C, x)} \circ y(f) = \tau_{(C', x')}$ となるかを見る。任意の $D \in \mathcal{C}$ と $g \in \mathrm{Hom}(D, C')$ に対して、
$$(\tau_{(C, x)} \circ y(f))_D(g) = \tau_{(C, x), D}(f \circ g) = F(f \circ g)(x)$$
反変関手 $F$ の性質より $F(f \circ g) = F(g) \circ F(f)$ なので、
$$F(g)(F(f)(x)) = F(g)(x') = \tau_{(C', x'), D}(g)$$
となり、三角形の図式は可換である。よって $\tau$ は余錐をなす。
ステップ2：普遍性の証明
この余錐が普遍性を持つことを示す。別の頂点 $G \in \widehat{\mathcal{C}}$ と余錐 $\alpha_{(C, x)}: y(C) \to G$ が与えられたとする。一意な自然変換 $\Phi: F \to G$ であって、任意の $(C, x)$ について $\Phi \circ \tau_{(C, x)} = \alpha_{(C, x)}$ を満たすものを構成する。
任意の $C \in \mathcal{C}$ と $x \in F(C)$ に対して、$\Phi_C(x)$ を決定しなければならない。定義より $\tau_{(C, x), C}(\mathrm{id}_C) = F(\mathrm{id}_C)(x) = x$ であるから、もし条件を満たす $\Phi$ が存在するなら、
$$\Phi_C(x) = \Phi_C(\tau_{(C, x), C}(\mathrm{id}_C)) = (\Phi \circ \tau_{(C, x)})_C(\mathrm{id}_C) = (\alpha_{(C, x)})_C(\mathrm{id}_C)$$
でなければならない。これが $\Phi$ の一意性を証明している。次に、この式で $\Phi_C(x) := (\alpha_{(C, x)})_C(\mathrm{id}_C)$ と定義した $\Phi$ が実際に自然変換となり、かつ分解条件を満たすことを確認する。
自然性の確認：任意の $h: C' \to C$ について、$(G(h) \circ \Phi_C)(x) = \Phi_{C'}(F(h)(x))$ を示す。左辺は $G(h)((\alpha_{(C, x)})_C(\mathrm{id}_C))$ であり、$\alpha_{(C, x)}$ の自然性より $(\alpha_{(C, x)})_{C'}(h \circ \mathrm{id}_C) = (\alpha_{(C, x)})_{C'}(h)$ に等しい。一方、要素の圏には射 $h: (C', F(h)(x)) \to (C, x)$ が存在するため、$\alpha$ が余錐である条件 $\alpha_{(C, x)} \circ y(h) = \alpha_{(C', F(h)(x))}$ を用いると、右辺は $(\alpha_{(C', F(h)(x))})_{C'}(\mathrm{id}_{C'}) = (\alpha_{(C, x)} \circ y(h))_{C'}(\mathrm{id}_{C'}) = (\alpha_{(C, x)})_{C'}(h \circ \mathrm{id}_{C'}) = (\alpha_{(C, x)})_{C'}(h)$ となり、両辺は完全に一致する。よって $\Phi$ は自然変換である。
分解条件の確認：$\Phi_D(\tau_{(C, x), D}(g)) = \Phi_D(F(g)(x)) = (\alpha_{(D, F(g)(x))})_D(\mathrm{id}_D)$。再び $\alpha$ の余錐条件を射 $g: (D, F(g)(x)) \to (C, x)$ に適用すると、$(\alpha_{(C, x)} \circ y(g))_D(\mathrm{id}_D) = (\alpha_{(C, x)})_D(g)$ となり一致する。
以上により、$F$ が普遍的な余極限であることが完全に証明された。（証明終）
$\mathrm{LCond}$ はGrothendieckトポスであるため、デカルト閉 (Cartesian closed) です。すなわち、単なる集合としてのHomではなく、連続写像の空間を正しい位相空間的な情報を持った層として内包する内部Hom $\underline{\mathrm{Hom}}(X, Y) \in \mathrm{LCond}$ が任意の対象 $X, Y$ に対して一意に存在します。
具体的には、任意のテスト空間 $S \in \mathrm{Prof}_{\mathrm{light}}$ に対する値として次のように定義されます：
$$\underline{\mathrm{Hom}}(X, Y)(S) := \mathrm{Hom}_{\mathrm{LCond}}(X \times y(S), Y)$$
定義した $\underline{\mathrm{Hom}}(X, Y)$ が層になることは、Grothendieckトポスにおける層の極限から従う。示すべきは、任意の $A \in \mathrm{LCond}$ に対して自然な全単射
$$\mathrm{Hom}_{\mathrm{LCond}}(A \times X, Y) \cong \mathrm{Hom}_{\mathrm{LCond}}(A, \underline{\mathrm{Hom}}(X, Y))$$
が存在することである。
まず $A$ が代表可能層 $y(S)$ の場合、米田の補題より右辺は $\underline{\mathrm{Hom}}(X, Y)(S)$ に同型である。定義よりこれは $\mathrm{Hom}_{\mathrm{LCond}}(X \times y(S), Y)$ であり、直積の可換性を用いれば左辺と一致する。
一般の層 $A$ については、前節の定理より $A \cong \varinjlim_{j} y(C_j)$ と書ける。トポスにおける直積関手 $- \times X$ は左随伴として余極限と交換するため（普遍的余極限性）、
$$\mathrm{Hom}(A \times X, Y) \cong \mathrm{Hom}((\varinjlim_{j} y(C_j)) \times X, Y) \cong \mathrm{Hom}(\varinjlim_{j} (y(C_j) \times X), Y)$$
共変Homの第一変数の余極限は外に出ると逆極限になるため（極限の保存性）、
$$\cong \varprojlim_{j} \mathrm{Hom}(y(C_j) \times X, Y)$$
代表可能層で証明した随伴性を適用し、
$$\cong \varprojlim_{j} \mathrm{Hom}(y(C_j), \underline{\mathrm{Hom}}(X, Y))$$
逆極限を再び第一変数の余極限に戻すと、
$$\cong \mathrm{Hom}(\varinjlim_{j} y(C_j), \underline{\mathrm{Hom}}(X, Y)) \cong \mathrm{Hom}(A, \underline{\mathrm{Hom}}(X, Y))$$
となり、一般の層に対しても随伴性が成立することが示された。（証明終）
位相群の圏は同型定理が成り立たない（全単射な連続準同型が同相写像になるとは限らない）ため、一般にアーベル圏になりません。しかし、位相を忘れて「軽凝縮Abel群の圏」へと移行すると、グロタンディークのアーベル圏の公理を満たす完全なアーベル圏となり、ホモロジー代数が自由に行えるようになります。
無限次元の関数解析では、空間を「小さい空間の無限の和」として構成しますが、古典的な位相空間論ではこの極限操作が解析的に破綻することがありました。これを凝縮数学がどのように解決するかを見ます。
位相線形空間 $X$ における点列 $(x_n)$ がCauchy列であるとは、原点の任意の近傍 $V$ に対して、ある $N$ が存在して、$n, m > N$ ならば $x_n - x_m \in V$ となることをいう。空間内の任意のCauchy列が収束するとき、空間は完備 (complete) であるという。
Fréchet空間の増大列 $F_1 \subset F_2 \subset \dots$ に対して、その和集合 $X = \bigcup_{n=1}^\infty F_n$ に帰納極限位相を入れたものをLF空間 (Limit of Fréchet spaces)と呼ぶ。
古典的な位相空間の圏では、帰納極限（無限の和や貼り合わせ）は直積と交換せず、完備な空間の帰納極限であっても完備性が失われることがあり、また完全関手にもなりません。これが関数解析を難しくしている主因の一つです。
しかし、凝縮圏における帰納極限は層の余極限として計算されます。コンパクトなテスト空間 $S$ に対して、 $(\varinjlim V_n)(S) = \varinjlim (V_n(S))$ と評価されます。なぜなら、コンパクト空間 $S$ からの連続写像の像はコンパクトであり、増大列の有限段階に必ず収まるからです。さらに、軽凝縮Abel群の圏はグロタンディークのAB5公理を満たし、フィルター付けられた帰納極限は完全 (exact) になり、ホモロジー代数の強力なツールがすべてそのまま使えます。
以上の代数的な準備を経て、関数解析の最大の鬼門であった超関数空間の「位相の選択のジレンマ」が、凝縮数学によってどのように完全に解消されるかを詳細に解説します。
古典的な関数解析において、超関数を定義するための「テスト関数の空間 $\mathcal{D}$」は、コンパクトな台を持つ滑らかな関数の空間 $F_n$（各 $F_n$ は距離化可能な完備空間であるFréchet空間）の増大列の帰納極限 $\varinjlim F_n$ （いわゆるLF空間）として構成されます。ここまでは問題ありません。
しかし、その双対空間である「超関数空間 $\mathcal{D}'$」を考える際に深刻な問題が発生します。古典論では双対空間に位相を入れる必要がありますが、「各点収束位相（弱$*$位相）」を入れるべきか、「一様収束位相（強位相）」を入れるべきかという不毛なジレンマが生じます。LF空間 $\mathcal{D}$ 自体は反射的 (reflexive) ですが、$\mathcal{D}'$ にどの位相を選択してもホモロジー代数（例えばテンソル積との完全性の相性や、導来関手の計算）との相性が悪く、ボルノロジー空間 (Bornological spaces) など別の圏論的枠組みを導入しなければならないという煩雑さがありました。
凝縮数学においては、この位相の選択という問題自体が消滅します。双対空間は、何らかの位相を選択するものではなく、$\mathrm{LCond}$ という巨大なトポスの中の単なる内部Homとして一意に再定義されるからです：
$$\mathcal{D}'_{\mathrm{cond}} := \underline{\mathrm{Hom}}(\mathcal{D}_{\mathrm{cond}}, \mathbb{R}_{\mathrm{cond}}) = \underline{\mathrm{Hom}}(\varinjlim F_n, \mathbb{R}_{\mathrm{cond}})$$
ここで、第8節で証明した「内部Homの第一変数は余極限を逆極限に変える」という普遍的な随伴の性質を用います：
$$\mathcal{D}'_{\mathrm{cond}} \cong \varprojlim \underline{\mathrm{Hom}}(F_n, \mathbb{R}_{\mathrm{cond}})$$
各 $F_n$ は単なるFréchet空間であり、Fréchet空間の双対は古典的にも全く曖昧さがなく、その振る舞いは完全に理解されています。この式が意味するのは、凝縮超関数空間 $\mathcal{D}'_{\mathrm{cond}}$ は、巨大で複雑なLF空間上の汎関数を一気に考えようとするのではなく、「行儀の良い空間 $F_n$ 上の局所的な超関数の層を、圏論的に最も自然な逆極限 $\varprojlim$ で束ねただけの層」になるということです。
さらに、テスト空間である軽プロ有限集合 $S$ を代入して評価すると、
$$\mathcal{D}'_{\mathrm{cond}}(S) \cong \varprojlim \underline{\mathrm{Hom}}(F_n, \mathbb{R}_{\mathrm{cond}})(S) = \varprojlim \mathrm{Hom}_{\mathrm{LCond}}(F_n \times y(S), \mathbb{R}_{\mathrm{cond}})$$
となり、すべての解析的な連続性の情報が、テスト空間 $S$ との直積からの射という純粋な代数的条件の中に完全にエンコードされます。これにより、「どの位相を入れるべきか」という人為的な選択を排除し、完全なアーベル圏の中で超関数のテンソル積やコホモロジーの計算といった代数演算を、一切の破綻なく実行することが可能となるのです。
本稿の理論的基盤をなす重要な文献群です。凝縮数学の原論文から、その背景となる圏論、トポロジー、関数解析の古典的名著まで、一切の省略なく各文献の意義と本稿での役割を詳述します。
本稿における役割と内容の解説： 凝縮数学の端緒となった画期的な講義録です。古典的な位相空間の圏がホモロジー代数と決定的に相性が悪いという問題を提起し、その解決策としてプロ有限空間（本稿ではその軽量版である軽プロ有限空間）をテスト空間とする層の圏（凝縮圏）を導入しました。本稿の第5節から第9節における凝縮集合の定義、アーベル圏への移行、そして位相群の病的な振る舞いがどのようにして層の完全列として美しく解消されるかという基礎理論は、すべてこの文献の第1講から第3講の内容に基づいています。
URL: https://www.math.uni-bonn.de/people/scholze/CondensedMathematics.pdf
本稿における役割と内容の解説： 凝縮数学を関数解析および非アルキメデス幾何学へ応用した講義録です。本稿の第10節および第11節の核となる「リキッド・ベクトル空間 (Liquid Vector Spaces)」の概念がここで展開されています。Banach空間やFréchet空間の完備性を、解析的な不等式ではなく純代数的なコホモロジー群の消滅定理として再定義する手法が詳細に記述されており、超関数空間の位相的ジレンマ（強位相か弱位相か）が無意味になるプロセスを学ぶための最も重要な一次資料です。
URL: https://www.math.uni-bonn.de/people/scholze/Analytic.pdf
本稿における役割と内容の解説： 上記の理論をさらに複素幾何学へと拡張した発展的な文献です。本稿では具体的な複素多様体の記述までは踏み込みませんでしたが、第9節の例10で触れた「複素数体 $\mathbb{C}$ の凝縮的な扱いとGAGAの定理の代数化」の理論的裏付けとなっています。解析空間の連接層の理論を、凝縮圏内部の純代数的なホモロジー代数として再構築する壮大な試みがなされています。
URL: https://www.math.uni-bonn.de/people/scholze/Complex.pdf
本稿における役割と内容の解説： 圏論の絶対的なバイブルであり、本稿の第1節および第2節の完全な基盤です。「左随伴は余極限を保ち、右随伴は極限を保つ (RAPL / LAPC)」という定理の証明、およびFreydの一般随伴関手定理 (GAFT) の必要性と十分性のエレガントな証明手法は、本書の第V章（随伴）の内容をベースに、さらに行間を完全に埋める形で記述されています。極限や普遍性といった概念を扱う上で不可欠な文献です。
本稿における役割と内容の解説： いわゆる「東北論文」と呼ばれる、アーベル圏とホモロジー代数の歴史的労作です。本稿の第9節および第10節において、軽凝縮Abel群の圏が「AB5公理（フィルター付けられた帰納極限が完全である性質）」を満たすという決定的な事実や、内部射影的生成元の存在（第7節）によって圏が極めて良い性質を持つことの保証は、すべてGrothendieckがこの論文で定式化したGrothendieck圏の公理系に依存しています。
本稿における役割と内容の解説： 位相空間論、特に完全不連結空間とプロ有限空間に関する包括的な専門書です。本稿の第3節および第4節で詳述した「軽プロ有限空間の同値な特徴付け（Cantor集合の閉部分空間としての実現）」や、コンパクトHausdorff空間の圏 (LCH) が射影的対象を十分に持たないこと（Gleasonの定理による超不連結空間の議論）の位相空間論的・位相幾何学的な厳密な証明は、本書の理論を直接的に参照し、再構成したものです。
本稿における役割と内容の解説： 古典的な関数解析、特に局所凸空間と超関数の理論における世界的な標準的教科書です。本稿の第10節および第11節で指摘した、古典的LF空間（Fréchet空間の帰納極限）における位相の病理的振る舞いや、超関数空間 $\mathcal{D}'$ に位相を導入する際の煩雑な技術的困難（弱$*$位相と強位相のジレンマ、ボルノロジーの必要性）という「凝縮数学が打破すべき旧来の壁」の全容を正確に把握するための対照文献として極めて重要です。